基于UPPAAL的虚拟生产系统仿真

虚拟生产系统(VPSs)是一种为应对易变的和不确定的制造环境而提出的新型生产资源结构形式.针对VPSs的特点,提出了基于自治与协调机制的控制结构.应用赋时自动机理论以及在UPPAAL的辅助下,对VPSs进行了DEDS的建模.为获得期望的性能(生产流程和时间)和行为特性(避免冲突和死锁),设计了基于启发式调度规则的自治与协调监控器,并进行了系统分析和时间最优调度的计算与仿真,从而构建起兼顾控制和调度问题的VPSs闭环监控系统.     

硒对免疫功能的影响

目的：了解硒对免疫功能的影响的研究进展，为今后的研究提供依据。方法：对国内外文献进行收集、整理和分析。结果：硒是一种重要的人和动物体内所必需微量元素，缺硒会损害免疫系统的功能。补充适量的硒可增强非特异免疫及细胞免疫、体液免疫功能，但补硒要适量，超过安全摄入量会引起硒中毒。结论：硒在免疫反应中发生作用的机制尚未明确，仍有待于进一步研究。     

线性有限自动机零状态的作用

通过零状态研究了线性有限自动机的一些性质,得到了线性有限自动机弱可逆的一些结果,并给出了最小线性子有限自动机的描述,最后给出了算法实现。     

小世界网络上的手机短信息传播模型

建立了基于小世界网络手机短信息的传播模型,利用该模型研究了网络的近邻数和手机用户的信息转发概率对手机短信息传播的影响.     

Using of the surface plasmon resonance cytosensor for real-time and non-invasive monitoring of cellular effects in living C6 cells induced by PMA

By cell and molecular biology, the traditional life science research has been improved into modern ex-perimental science. Because cell is the basic structural and functional unit of the mysterious life, the study of life phenomena will be ultimately embodied into the study of cell biology. How to acquire a dynamic knowledge of the intricate biomolecular reactivity and process in living cells has become one of the hotspots in recent biological researches. For the complexity of cellular effects,…     

一种改进的实时系统可达性分析算法

首先简介了时间自动机、时钟区域、区域等价、时钟带的概念.利用时钟带,可以将时间自动机的无穷状态空间转化为有穷.实时系统的绝大多数安全性和部分活性可以通过可达性分析算法来验证.然而,当系统时钟个数较多时,用DBM存储时钟带,会造成内存空间的很大耗费.该文提出了用邻接表存储时钟带,给出了改进的算法,并对算法的空间复杂度作了分析.实验表明,当时钟个数大于5时能节约很大的内存空间,从而在一定程度上缓解了状态爆炸.     

移动电话机的无线耳机系统

用新型器件研制一种汽车司机用的移动电话机小型调频无线耳机的接收发射系统.给出系统的方块组成图并进行电路分析.该系统具有如下特性:座机装置具有节能功能;抗噪声干扰性能好;全双工系统;小型轻量;容易操作,适用于当前流行的多种移动电话机.     

Simulation of evacuation behaviors in fire using spacial grid

A two-dimensional Cellular Automata (CA) model to demonstrate the special phenomena of occupants evacuating from fire room is presented. A set of simple but effective models is proposed to investigate the effect of fire smoke on route choice. The concept of danger grade is introduced, and occupants select the target cell according to the value of danger grade at each time step. Some technique is introduced to substitute the human intelligence, such as premeditation. The simulation results show that human evacuation is influenced greatly by both human visual field and building exit.     

三车道元胞自动机交通流模型研究

在Nagel-Schrekenberg（NS）元胞自动机交通流模型的基础上，提出了一种高速公路三车道元胞自动机交通流模型．该模型中所有的车辆均遵循相同的演化规则，并允许车辆以一定概率换道．根据计算机数值模拟．研究了车辆减速概率、换道概率对车流量、车道利用率影响关系，结果表明，在相同情况下，此模型所得到的基本图显示出交通流量比单车道NS模型大，并且发现减少不必要的车辆换道行为可以使驾驶更安全．这些研究为管理三车道的道路系统提供了一定的参考依据．     

公路装配式空心板桥加宽预压施工新工艺研究与应用

针对公路装配式空心板桥,在分析影响桥梁加宽效果关键因素的基础上,提出了预压加宽施工新工艺,并在工程实例桥加宽改造施工中进行的应用验证,该施工工艺可用于类似桥梁的加宽改造.